formal methods
形式手法
abstract interpretation
automated theorem proving
Design by contract
Formal methods people
Formal specification
Formal verification
Formal system
model checking
software engineering
Specification language
/suto3/google.iconformal methods
image formal methods
define formal methods
wikipedia formal methods
weblio formal methods
kotobank formal methods
jisho formal methods